Канонический и нормальный виды квадратичной формы

Форма $f(x)$ имеет **канонический вид**, если: $$f(x) = \sum_{i=1}^{n} \alpha_{i}x_{i}^{2}$$

Форма $f(x)$ имеет **нормальный вид**, если: $$f(x) = x_{1}^{2} + x_{2}^{2} + \dots + x_{p}^{2} - x_{p+1}^{2} - \dots - x_{n}^{2}$$ где $p \leq n$